Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models
نویسندگان
چکیده
In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides a modeling and verification procedure for OWL-S Process Models.
منابع مشابه
Towards a Formal Verification of OWL-S Process Models
In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides complete modeling and verification of OWL-S Process Models.
متن کاملTowards an Agent Based Approach for Verification of OWL-S Process Models
In this paper we investigate the transformation of OWL-S process models to ISPL the system description language for MCMAS, a symbolic model checker for multi agent systems. We take the view that services can be considered as agents and service compositions as multi agent systems. We illustrate how atomic and composite processes in OWL-S can be encoded into ISPL using the proposed transformation...
متن کاملToward Semantic Web Services as MVC Applications: from OWL-S via UML
OWL-S is an application of OWL, theWeb Ontology Language, that describes the semantics of Web Services so that their discovery, selection, invocation and composition can be automated. The research literature reports the use of UML diagrams for the automatic generation of Semantic Web Service descriptions in OWL-S. This paper demonstrates a higher level of automation by generating complete compl...
متن کاملRanked Matching for OWL-S Process Model Discovery
One of the key tasks in the service oriented architecture that semantic web services aim to automate is the discovery of services that can fulfill the application or user needs. OWL-S is one of the proposals for describing semantic metadata about web services, which is based on the OWL ontology language. The OWL-S ontology is organized in three modules: the Service Profile module describes the ...
متن کاملExpressing Business Process Models as OWL-S Ontologies
BPEL4WS is a well-established business process standard that can be used to orchestrate service-based workflows. However, the rapid growth and automation demands of e-business and grid applications require BPEL4WS to provide enhanced semantic annotations to achieve the goal of business processes automation. Here, OWL-S (OWL for Web Services) is designed to represent such kind of semantic inform...
متن کامل